\hypertarget{classModelChecker}{\section{Model\-Checker Class Reference}
\label{classModelChecker}\index{Model\-Checker@{Model\-Checker}}
}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\hypertarget{classModelChecker_a83460a37d9257147d4657be1d6ee8856}{{\bfseries Model\-Checker} (\hyperlink{structModel}{Model} $\ast$model, \hyperlink{classTimedDiagram}{Timed\-Diagram} $\ast$std)}\label{classModelChecker_a83460a37d9257147d4657be1d6ee8856}

\item 
\hypertarget{classModelChecker_a7cb62c308e51b561374368e357d252e8}{\hyperlink{classIntervalSet}{Interval\-Set} $\ast$ {\bfseries until} (\hyperlink{classFormula}{Formula} $\ast$psi1, \hyperlink{classFormula}{Formula} $\ast$psi2, \hyperlink{classInterval}{Interval} bound, double time)}\label{classModelChecker_a7cb62c308e51b561374368e357d252e8}

\item 
\hypertarget{classModelChecker_a23059afd44b32e1532da8a235f012dca}{double {\bfseries calc\-Prob} (\hyperlink{classIntervalSet}{Interval\-Set} $\ast$i\-Set, double($\ast$cdf)(double), double shift)}\label{classModelChecker_a23059afd44b32e1532da8a235f012dca}

\end{DoxyCompactItemize}
\subsection*{Public Attributes}
\begin{DoxyCompactItemize}
\item 
\hypertarget{classModelChecker_a5dbb1966925ec7d11656546b4a8f92e8}{cv\-::\-Mat {\bfseries debug\-Image}}\label{classModelChecker_a5dbb1966925ec7d11656546b4a8f92e8}

\item 
\hypertarget{classModelChecker_a70f70a4d5293424da22e04ae1eb59ad6}{int {\bfseries scale}}\label{classModelChecker_a70f70a4d5293424da22e04ae1eb59ad6}

\end{DoxyCompactItemize}


The documentation for this class was generated from the following files\-:\begin{DoxyCompactItemize}
\item 
model/Model\-Checker.\-h\item 
model/Model\-Checker.\-cpp\end{DoxyCompactItemize}
